Assert $\forall$$n$:$\mathbb{N}$. Y($\lambda$$f$,$x$. $g$($x$,$f$)) $\in$ ($\forall$$m$:$\mathbb{N}$$n$. $P$($m$))